VDict - Definition of disjoint union

Computing (FOLDOC) dictionary

disjoint union

Jump to user comments

In domain theory, a union (or sum) which results in a domain

without a least element.

Related search result for "disjoint union"

Words contain "disjoint union" in its definition in Computing (FOLDOC) dictionary:
disjoint union sum Zermelo set theory discriminated union union foundation equivalence class bijection AM time bomb more...

Comments and discussion on the word "disjoint union"